function getHeight(val) { return parseInt(document.getElementById(val).style.height.slice(0, -2)); }
$("#body-cover").height(document.documentElement.clientHeight - 100);
window.onresize = function () {
    $("#body-cover").height(document.documentElement.clientHeight - 100);
}